Publications of Hanh Nhi TRAN
Amani Makhlouf, Christian Percebois, Hanh Nhi Tran
An Auto-active Approach to Develop Correct Logic-based Graph Transformations
International Journal On Advances in Software, 2018, 11 (1 & 2), pp.147-158
Hanh Nhi Tran, Mojtaba Hajmoosaei, Christian Percebois, Agnès Front, Claudia Roncancio
Integrating run-time changes into system and software process enactment
Journal of Software: Evolution and Process, 2016, 28 (9), pp.762-782. ⟨10.1002/smr.1783⟩
Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev
Attribute Computations in the DPoPb Graph Transformation Engine
In : Electronic Communications of the EASST (ECEASST), Electronic Communications of the EASST, Berlin – Germany, Vol. 32, (on line), 2010.
URL : http://journal.ub.tu-berlin.de/eceasst/article/view/511
BibTeXThu Tran Dan, Hanh Nhi Tran, Thuy Dong Thi Bich, Bernard Coulette, Xavier Crégut
Topological properties for characterizing well-formedness of process components
In : Software Process: Improvement and Practice, Wiley Interscience, Vol. 10 N. 2, pp. 217-247, May 2005.
Abstract URL : http://www3.interscience.wiley.com/cgi-bin/jhome/15482
BibTeX
Minh Khoi Nguyen, Hanh Nhi Tran, Razan Abualsaud, Ileana Ober
An AI-Enhanced Process Mining Framework for Software Process Insights
15th International Conference on Knowledge and Systems Engineering (KSE 2023), Oct 2023, Hanoï, Vietnam. pp.1-6, ⟨10.1109/KSE59128.2023.10299475⟩
Razan Abualsaud, Hanh Nhi Tran, Ileana Ober, Minh Khoi Nguyen
Toward a Goal-Oriented Methodology for Artifact-Centric Process Modeling
18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023), Institute for Systems and Technologies of Information, Control and Communication (INSTICC); ACM Special Interest Group on Management Information Systems (ACM SIGMIS); IEEE SMC – IEEE Technical Committee on Enterprise Information Systems, Apr 2023, Prague, Czech Republic. pp.656-663, ⟨10.5220/0011989900003464⟩
Minh Khoi Nguyen, Hanh Nhi Tran, Ileana Ober
Process Mining to Discover the Global Process from its Fragments’ Executions
17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2022), Apr 2022, Online Streaming, France. pp.363-370, ⟨10.5220/0011044800003176⟩
Amani Makhlouf, Christian Percebois, Hanh Nhi Tran
Two-level reasoning about graph transformation programs
12th International Conference on Graph Transformation (ICGT 2019), Jul 2019, Eindhoven, Netherlands. pp.111-127
Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah
Using Patterns to parameterize the execution of Collaborative Tasks
28th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), Jun 2019, Capri, Italy. pp.106-111, ⟨10.1109/WETICE.2019.00031⟩
Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah
A Pattern-based Process Management System to flexibly execute Collaborative Tasks
14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019), May 2019, Heraklion, Crète, Greece. pp.273-280
Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah
Collaborative Processes Management: from Modeling to Enacting
22nd International Conference on Computer Supported Cooperative Work in Design (CSCWD 2018), May 2018, Nanjing, China. pp.0
Mojtaba Hajmoosaei, Hanh Nhi Tran, Christian Percebois
A User-centric Process Management for System and Software Engineering Projects
7th International Conference on Industrial Engineering and Systems Management (IESM 2017), Oct 2017, Saarbrücken, Germany. pp.123-128
Amani Makhlouf, Christian Percebois, Hanh Nhi Tran
A Precondition Calculus for Correct-by-Construction Graph Transformations
Twelfth International Conference on Software Engineering Advances (ICSEA 2017), Oct 2017, Athens, Greece. pp.172-177
Mahmoud El Hamlaoui, Bernard Coulette, Sophie Ebersold, Saloua Bennani, Mahmoud Nassar, Adil Anwar, Antoine Beugnard, Jean-Christophe Bach, Yassine Jamoussi, Hanh Nhi Tran
Alignment of viewpoint heterogeneous design models: Emergency Department Case Study
4th International Workshop On the Globalization of Modeling Languages (GEMOC 2016) co-located with ACM/IEEE MODELS 2016, Oct 2016, Saint-Malo, France. pp. 18-27
Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker
Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations
International Conference on Tests and Proofs (TAP 2016), Jul 2016, Vienna, Austria. pp.183-190
Nadezhda Baklanova, Jon Haël Brenas, Amani Makhlouf, Christian Percebois, Martin Strecker, Hanh Nhi Tran
Coding, Executing and Verifying Graph Transformations with small-tALCQe
International Workshop Graph Computation Models, Part of STAF 2016 (GCM 2016), Jul 2016, Vienna, Austria. pp.1-15
Mojtaba Hajmoosaei, Hanh Nhi Tran, Christian Percebois, Agnes Front, Claudia Roncancio
Towards a change-aware process environment for system and software process
International Conference on Software and System Process (co-located with ICSE) (ICSSP 2015), Aug 2015, Tallinn, Estonia. pp.32-41, ⟨10.1145/2785592.2785596⟩
Mojtaba Hajmoosaei, Hanh Nhi Tran, Christian Percebois, Agnès Front, Claudia Roncancio
Impact Analysis of Process Change at Run-time,
WETICE 2015 (24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises), Track CSP (Collaborative Software Process), Jun 2015, Larcana, Cyprus
Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
Provably correct graph transformations with small-tALC
11th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2015), May 2015, Lviv, Ukraine. pp. 78-93
Tan Thuan Vo, Bernard Coulette, Hanh Nhi Tran, Redouane Lbath
An Approach to Define and Apply Collaboration Process Patterns for Software Development
3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015) in conjunction with ICISSP 2015, Feb 2015, Angers, France. pp.248–262, ⟨10.1007/978-3-319-27869-8_14⟩
Tan Thuan Vo, Bernard Coulette, Hanh Nhi Tran, Redouane Lbath
Defining and Using Collaboration Patterns for Software Process Development
International Workshop on Cooperative Model Driven Development (CMDD 2015) within the 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), Feb 2015, Angers, France. pp.557-564, ⟨10.5220/0005338705570564⟩
Christian Percebois, Martin Strecker, Hanh Nhi Tran
Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure (regular paper)
In : Software Engineering and Formal Methods, Madrid, Spain, 25/09/13-27/09/13, Vol. 8137, Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti (Eds.), Springer, Lecture Notes in Computer Science, pp. 106-121, September 2013.
Hanh Nhi Tran, Christian Percebois
Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations (regular paper)
In : Verification and validation Of model Transformations (VOLT 2012), Montreal (Canada ), 21/04/12, IEEE Computer Society, pp. 946-953, June 2012.
Komlan Akpédjé Kedji, Minh Tu Ton That, Bernard Coulette, Redouane Lbath, Hanh Nhi Tran, Mahmoud Nassar
A tool-supported approach for process modeling: application to collaborative processes (regular paper)
In : Asia-Pacific Software Engineering Conference (APSEC 2011), Hochiminh City, 05/12/11-08/12/11, IEEE Computer Society – Conference Publishing Services, (electronic medium), December 2011.
Samba Diaw, Vinh Thai Le , Hanh Nhi Tran, Redouane Lbath, Bernard Coulette
Feedback on Using TOPCASED Components for Developing a MDE Process-centered Environment
In : TOPCASED Days, Toulouse, 02/02/11-04/02/11.
Hanh Nhi Tran, Bernard Coulette, Thu Tran Dan, My Hang Vu
Automatic Reuse of Process Patterns in Process Modeling (regular paper)
In : Annual ACM Symposium on Applied Computing (SAC 2011), Tungha iUniversity, Taichung, Taiwan, 21/03/11-25/03/11, ACM : Association for Computing Machinery, (electronic medium), March 2011.
Hanh Nhi Tran, Bernard Coulette, Thuy Dong Thi Bich
Broadening the Use of Process Patterns for Modeling Processes
In : International Conference on Software Engineering and Knowledge Engineering (SEKE 2007), Boston, 09/07/07-11/07/07, Knowledge Systems Institute, (electronic medium), July 2007.
URL : http://www.irit.fr/publis/MACAO/HNTran-etal-SEKE2007.pdf
BibTeXHanh Nhi Tran, Bernard Coulette, Thuy Dong Thi Bich
Modelling Process Patterns and their Application
In : International Conference on Software Engineering Advances (ICSEA 2007), Cap Estérel, 25/08/07-31/08/07, IEEE Computer Society, (electronic medium), August 2007.
URL : http://www.irit.fr/publis/MACAO/HNTran-etal-ICSEA2007.pdf
BibTeXHanh Nhi Tran, Bernard Coulette, Thuy Dong Thi Bich
A UML based process meta-model integrating a rigorous process patterns definition
In : International Conference on Product Focused Software Process Improvement (Profes 2006), Amsterdam, 12/06/06-14/06/06, Springer-Verlag, (electronic medium), June 2006.
URL : http://www.irit.fr/publis/MACAO/HNTran-etal-PROFES2006.pdf
BibTeXHanh Nhi Tran, Bernard Coulette, Thuy Dong Thi Bich
Exploiting Process Patterns for Software Process Models Reuse
In : International Conference on Theories and Applications of Computer Science (ICTACS 2006), Hochiminh City, 03/08/06-05/08/06, World Scientific, (electronic medium), August 2006.
Hanh Nhi Tran, Bernard Coulette, Thuy Dong Thi Bich
A classification of Process Patterns
In : International Conference on Software Development (SWDC-REK 2005), Reykjavik, 28/05/05-02/06/05, University of Iceland Press, (electronic medium), June 2005.
Hanh Nhi Tran, Bernard Coulette, Thuy Dong Thi Bich
Towards a better understanding of Process Patterns
In : International Conference on Software Engineering Research and Practice (SERP 2005), Las Vegas, 27/06/05-30/06/05, Centre National de Recherches de Logique, (electronic medium), June 2005.
Modélisation de procédés logiciels à base de patrons réutilisables
Master’s Thesis, Université de Toulouse-le-Mirail, November 2007.
URL : http://www.irit.fr/publis/MACAO/TheseHNTran_nov2007.pdf
BibTeX